Local search

Results: 811



#Item
441Mathematics / Artificial intelligence / Discrete geometry / Image search / Search algorithms / Visual descriptors / Image retrieval / Voronoi diagram / Feature / Computer vision / Information science / Image processing

IMPROVING VLAD: HIERARCHICAL CODING AND A REFINED LOCAL COORDINATE SYSTEM Christian Eggert, Stefan Romberg, Rainer Lienhart Multimedia Computing and Computer Vision Lab University of Augsburg ABSTRACT

Add to Reading List

Source URL: www.multimedia-computing.de

Language: English - Date: 2014-11-14 09:17:55
442Computing / Local consistency / Constraint satisfaction / Constraint graph / Constraint optimization / Distributed constraint optimization / Search algorithm / Decomposition method / Maths24 / Constraint programming / Software engineering / Computer programming

Introduction The concept of constraint is central to a number of human activities. A constraint limits the field of possibilities in a certain universe. For example, a school timetable that coordinates students, teacher

Add to Reading List

Source URL: www.cril.univ-artois.fr

Language: English - Date: 2010-01-18 08:33:23
443Constraint programming / Probability theory / Boolean satisfiability problem / Electronic design automation / Logic in computer science / Local search / Bayesian inference / Algorithm / Conjunctive normal form / Mathematics / Theoretical computer science / Applied mathematics

SOLVING THE SATISFIABILITY PROBLEM USING MESSAGE-PASSING TECHNIQUES S. J. Pumphrey, May[removed]Part III Physics Project Report) A Bayesian message-passing technique, the sum-product algorithm, is described and applied to

Add to Reading List

Source URL: www.inference.phy.cam.ac.uk

Language: English - Date: 2001-06-07 06:04:05
444Logic programming / Conjunctive normal form / Local search / Boolean satisfiability problem / DPLL algorithm / Theoretical computer science / Constraint programming / Declarative programming

EagleUP: Solving Random 3-SAT using SLS with Unit Propagation Oliver Gableske1 and Marijn Heule2 1 2

Add to Reading List

Source URL: www.st.ewi.tudelft.nl

Language: English - Date: 2011-09-26 11:40:37
445Product management / Trademark / Patton Boggs / George S. Patton / Military personnel / Military / Brand management / Law / Intellectual property law

SERVICE SMD i-Search  Efficient trademark clearance  Reliable availability searches  Legal opinions by local experts

Add to Reading List

Source URL: www.smd-markeur.de

Language: English - Date: 2015-02-23 13:02:39
446Computing / Ant colony optimization algorithms / Decomposition method / FO / Bicycle sharing system / Local search / Bicycle / Constraint programming / Software engineering / Computer programming

Constraint-based approaches for Balancing Bike Sharing Systems Luca Di Gaspero1 , Andrea Rendl2 , and Tommaso Urli1 1 Scheduling and Timetabling Group, Department of Electrical, Management and Mechanical Engineering,

Add to Reading List

Source URL: www.tunnuz.net

Language: English - Date: 2014-09-12 00:58:21
447Search algorithm / Mathematical optimization / Applied mathematics / Mathematics / Computer programming / Operations research / Simulated annealing / Local search

MISTA 2013 manuscript No. (will be inserted by the editor) A simulated annealing approach to the curriculum-based course timetabling problem

Add to Reading List

Source URL: www.tunnuz.net

Language: English - Date: 2014-09-12 00:58:22
448Local search / Constraint programming / Hybrid algorithm / Local consistency

Hybrid CP+LNS for the Curriculum-Based Course Timetabling Problem Tommaso Urli Dept. of Electrical, Management and Mechanical Engineering University of Udine, Via Delle Scienze, [removed]Udine, Italy tommaso.urli@uniu

Add to Reading List

Source URL: www.tunnuz.net

Language: English - Date: 2014-09-12 00:58:22
449

Access and contribute to the Australian National Bibliographic Database Be part of a unique service sharing information with libraries Australia wide Search direct or via your local LMS Create regular searches and email

Add to Reading List

Source URL: www.nla.gov.au

- Date: 2011-07-20 04:07:00
    450Logic in computer science / Constraint programming / Operations research / Boolean algebra / Boolean satisfiability problem / Electronic design automation / Maximum satisfiability problem / Local search / Stochastic optimization / Theoretical computer science / Applied mathematics / Mathematics

    L:/Documents and Settings/Administrator/My Documents/Reseach/Gecco 2008 Abstract/t07pap188-qasem.dvi

    Add to Reading List

    Source URL: eprints.soton.ac.uk

    Language: English - Date: 2009-12-08 14:52:22
    UPDATE